nondecreasing($f$;$k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:\{0..($k$$-$1)$^{-}$\}. $f$($i$)$\leq$$f$($i$+1)